181. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
182. Formal techniques for networked and distributed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
183. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
184. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
پدیدآورنده : Doron A. Peled, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
185. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
186. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
187. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
188. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
189. Fourteenth Workshop on Parallel and Distributed Simulation (PADS'2000) ,28-31 May 2000, Bologna, Italy
پدیدآورنده : edited by David Bruce, Lornzo Donatiello,and Stephen Turner; sponsored ), ACM Special Interest Group on Simulation (SIGSIM), Society for Comp
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Digital Computer Simulation -- Congresses,Electronic data Processing -- Distributed Processing -- Congresses,Parallel Processing ( Electronic computers) -- Congresses
رده :
QA
،
76
.
9
،.
C65
,
W69
،
2000
190. Fourteenth Workshop on Parallel and Distributed Simulation: PADS 2000: 28-31 May 2000, Bologna, Italy: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Digital computer simulation,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
.
W69
2000
191. From model-driven design to resource management for distributed embedded systems :
پدیدآورنده : edited by Bernd Kleinjohann ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.
192. Frontiers of high performance computing and networking
پدیدآورنده : / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006
193. Frontiers of high performance computing and networking
پدیدآورنده : / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006
194. Future directions in distributed computing : Research and position papers
پدیدآورنده : Andre Schiper ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
2584
195. Grid and distributed computing
پدیدآورنده : Dominik Ślęzak ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
C58
G345
2009eb
196. Grid and distributed computing :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses.,Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
C58
G33
2011
197. Grid and distributed computing, Control and automation
پدیدآورنده : / Tai-hoon Kim... [et al.] (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing, Distributed processing, Congresses,Computational grids (Computer systems), Congresses
رده :
QA76
.
9
.
D5G33
2010
198. HPDC'11 : proceedings of the 20th International Symposium on High Performance Distributed Computing, June 8-11, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGARCH & the University of Arizona; supported by : University of Notre Dame...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Heterogeneous computing,Congresses ، Adaptive computing systems,Congresses ، Computational grids )Computer systems(,Congresses ، High performance computing
رده :
QA
76
.
9
.
D5I334
2011
199. Heterogeneous computing
پدیدآورنده : Mary M. Eshaghian, editor
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Distributed processing - Congresses , Multiprocessors - Congresses , Computer networks - Congresses
رده :
QA
76
.
9
.
D5
H476
1996
200. 2001 IEEE International Conference on Cluster Computing: proceedings: 8-11 October 2001, Newport Beach, California, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Beowulf clusters )Computer systems(,Congresses ، High performance computing,Congresses ، Parallel computers,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
58
.
I346
2001
